Dependent types I › Universes, or types of types
jonmsterling.com·12h·
Discuss: Hacker News
🔤Type Theory
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
k-NN Classification and Model Evaluation
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·7h
🌳Archive Merkle Trees
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.com·2h
⚙️Operating System Design
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·14h
⚡Incremental Computation
Go experiments with SIMD
golangweekly.com·18h
💧Liquid Types
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·1h·
Discuss: Hacker News
📏Code Metrics
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·1d
⬆️Lambda Lifting
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·46m·
Discuss: Hacker News
🧮Vector Embeddings
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·24m·
Discuss: Hacker News
🔍Information Retrieval
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·12h·
Discuss: Hacker News
🦀Rust Macros
Log Detective: GSoC 2025 (part 2)
danigm.net·13h
🔓Open Source Software
Deep dive into Mojo object initialization
connorgray.com·1h·
Discuss: Hacker News
🦀Rust Borrowing